Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
We rely on the Earth for everyting we need to survive, so let's take care of it.
我们依赖地球获取我们生存的一切东西，因此让我们来细心呵护它。
The dainties of the great are the tears of the poor.
大人物的美味是穷人的眼泪。
The sea sparkled in the sunlight.
阳光下，大海波光粼粼。